Power Aware CDC Verification at RTL for Faster SoC Verification Closure
نویسنده
چکیده
Innovations in design technologies and verification methodologies are creating complex SoCs that operate at very high speeds while incorporating optimal power management strategies to reduce power consumption. Design size inches towards multi-billion gates and designs incorporate multiple asynchronous clocks, IO-interfaces, cores and peripherals. The ever-increasing counts of asynchronous clocks—coupled with tight power constraints—pose interesting verification challenges that cannot be overlooked.
منابع مشابه
DFT logic verification through property based formal methods - SOC to IP
System On Chips (SOCs) are being increasingly deployed in large number of applications and systems as they allow automation to be implemented to render ease and convenience in many human activities, a prime example being smart mobile phones. This renders their design implementation a fairly difficult task with larger product space and product revisions, comes the requirement for larger feature ...
متن کاملTLM-Driven Design and Verification – Time For a Methodology Shift
While today’s RTL design and verification flows are a step up from the gatelevel flows of two decades ago, RTL flows are straining to meet the demands of most product teams. When designs are sourced and verified at the register transfer level (RTL), IP reuse is difficult, functional verification is lengthy and cumbersome, and architectural decisions cannot be confirmed prior to RTL verification...
متن کاملGatecomp: Equivalence Checking of Digital Circuits in an Industrial Environment
This paper outlines formal verification in general and then introduces CVE’s equivalence checking tool gatecomp, an equivalence checker developed in the formal verification group at Infineon, Germany. The basic verification tasks are described and the advanced features of the tool are discussed. The application of gatecomp to large industrial examples is reported. This demonstrates the power of...
متن کاملUniversal Verification Methodology (UVM)-based Random Verification through VCS and CustomSim in Analog Mixed-signal Designs for Faster Coverage Closure
This paper describes application of RTL verification methodology in analog mixed-signal (AMS) designs. Given the increasing complexity of mixed-signal circuits, it is important to increase the volume and variance in stimulus to ensure functional correctness. Lengthy run times of SPICE-based mixed-signal simulations are a significant productivity bottleneck in coverage closure and testplan compl...
متن کاملCo-Emulation of Scan-Chain Based Designs Utilizing SCE-MI Infrastructure
As the complexity of the scan algorithm is dependent on the number of design registers, large SoC scan designs can no longer be verified in RTL simulation unless partitioned into smaller sub-blocks. This paper proposes a methodology to decrease scan-chain verification time utilizing SCE-MI, a widely used communication protocol for emulation, and an FPGA-based emulation platform. A high-level (S...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014